Equivalence is in the Eye of the Beholder

In a recent provocative paper, Lamport points out "the insubstantiality of processes" by proving the equivalence of two different decompositions of the same intuitive algorithm by means of temporal formulas. We point out that the correct equivalence of algorithms is itself in the eye of the beholder. We discuss a number of related issues and, in particular, whether algorithms can be proved equivalent directly.Comment: See also the ASM web site at http://www.eecs.umich.edu/gasm

Abstract State Machines 1988-1998: Commented ASM Bibliography

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm

A systematic review of the effectiveness and cost-effectiveness of peer education and peer support in prisons.

BACKGROUND: Prisoners experience significantly worse health than the general population. This review examines the effectiveness and cost-effectiveness of peer interventions in prison settings. METHODS: A mixed methods systematic review of effectiveness and cost-effectiveness studies, including qualitative and quantitative synthesis was conducted. In addition to grey literature identified and searches of websites, nineteen electronic databases were searched from 1985 to 2012. Study selection criteria were: Population: Prisoners resident in adult prisons and children resident in Young Offender Institutions (YOIs). INTERVENTION: Peer-based interventions Comparators: Review questions 3 and 4 compared peer and professionally led approaches. OUTCOMES: Prisoner health or determinants of health; organisational/ process outcomes; views of prison populations. STUDY DESIGNS: Quantitative, qualitative and mixed method evaluations. RESULTS: Fifty-seven studies were included in the effectiveness review and one study in the cost-effectiveness review; most were of poor methodological quality. Evidence suggested that peer education interventions are effective at reducing risky behaviours, and that peer support services are acceptable within the prison environment and have a positive effect on recipients, practically or emotionally. Consistent evidence from many, predominantly qualitative, studies, suggested that being a peer deliverer was associated with positive effects. There was little evidence on cost-effectiveness of peer-based interventions. CONCLUSIONS: There is consistent evidence from a large number of studies that being a peer worker is associated with positive health; peer support services are also an acceptable source of help within the prison environment and can have a positive effect on recipients. Research into cost-effectiveness is sparse. SYSTEMATIC REVIEW REGISTRATION: PROSPERO ref: CRD42012002349

The challenges of ethical research with children

As especificidades da pesquisa com crianças têm ganhado visibilidade nas produções acadêmicas em diversas áreas de conhecimento, com destaque para a Sociologia da Infância, principalmente a partir dos “novos estudos sobre a infância” os quais emergiram ao final da década de 1980. Essa visibilidade acontece devida a questões como: a discussão sobre as imagens da infância, construídas socio-historicamente; o reconhecimento da condição das crianças enquanto atores sociais, portanto, seres competentes, que atribuem significações a suas experiências e contextos; e o reconhecimento das crianças enquanto sujeitos de direitos, reconhecimento este pautado pela Doutrina da Proteção Integral. Permeadas por essas questões, as pesquisas com crianças agregam a questão da Ética nas atividades desenvolvidas na relação pesquisador-criança. No contexto dessa discussão, este trabalho propõe refletir sobre essas questões e os cuidados éticos nesse tipo de pesquisa, considerando a condição da criança enquanto sujeito de direitos. Foi realizado um recorte da produção acadêmica representativa na área da Sociologia da Infância nas duas últimas décadas, identificando quais aspectos aparecem nas preocupações dos autores, quais abordagens norteiam a discussão desses aspectos e, principalmente, que concepção de infância está presente nessa produção.The specificities of research with children have gained visibility in scientific publications in various areas of knowledge, especially in Sociology of Childhood and the “new studies of childhood”, which emerged at the end of the 1980s. This fact is due to discussions about childhood from a socio-historical perspective; the recognition of children as social actors and therefore able to give meaning to their experiences and contexts; and the recognition of children as individuals entitled to rights, according to the Doutrina da Proteção Integral (Full Protection Doctrine). Therefore, research ethics is an essential element of good research governance, especially in terms of activities related to the relationship between the researcher and child. Accordingly, the objective of this study is to examine and explore these issues, considering the child as an individual entitled to rights. A literature review of articles published in the last two decades in the area of Sociology of Childhood was conducted to identify the main issues and topics addressed, the approaches that guided the discussions and, especially, to identify the conception of childhood present in these studies.CIEC - Centro de Investigação em Estudos da Criança, IE, UMinho (UI 317 da FCT), Portuga

The Children's Respiratory and Environmental Workgroup (CREW) birth cohort consortium: design, methods, and study population

Background: Single birth cohort studies have been the basis for many discoveries about early life risk factors for childhood asthma but are limited in scope by sample size and characteristics of the local environment and population. The Children’s Respiratory and Environmental Workgroup (CREW) was established to integrate multiple established asthma birth cohorts and to investigate asthma phenotypes and associated causal pathways (endotypes), focusing on how they are influenced by interactions between genetics, lifestyle, and environmental exposures during the prenatal period and early childhood. Methods and results: CREW is funded by the NIH Environmental influences on Child Health Outcomes (ECHO) program, and consists of 12 individual cohorts and three additional scientific centers. The CREW study population is diverse in terms of race, ethnicity, geographical distribution, and year of recruitment. We hypothesize that there are phenotypes in childhood asthma that differ based on clinical characteristics and underlying molecular mechanisms. Furthermore, we propose that asthma endotypes and their defining biomarkers can be identified based on personal and early life environmental risk factors. CREW has three phases: 1) to pool and harmonize existing data from each cohort, 2) to collect new data using standardized procedures, and 3) to enroll new families during the prenatal period to supplement and enrich extant data and enable unified systems approaches for identifying asthma phenotypes and endotypes. Conclusions: The overall goal of CREW program is to develop a better understanding of how early life environmental exposures and host factors interact to promote the development of specific asthma endotypes.HHS/NIH [5UG3OD023282]; Columbia University [P01ES09600, R01 ES008977, P30ES09089, R01 ES013163, R827027]; Tucson Children's Respiratory Study (TCRS) [NHLBI 132523]; Infant Immune Study (IIS) [HL-56177]; Childhood Origins of Asthma Study (COAST) [P01 HL070831, U10 HL064305, R01 HL061879]; Wayne County Health, Environment, Allergy and Asthma Longitudinal Study (WHEALS) [R01 AI050681, R56 AI050681, R01 AI061774, R21 AI059415, K01 AI070606, R21 AI069271, R01 HL113010, R21 ES022321, P01 AI089473, R21 AI080066, R01 AI110450, R01 HD082147]; Fund for Henry Ford Health System; Childhood Allergy Study (CAS) [R01 AI024156, R03 HL067427, R01 AI051598]; Blue Cross Foundation Johnson; Fund for Henry Ford Hospital; Microbes, Allergy, Asthma and Pets (MAAP) [P01 AI089473]; Infant Susceptibility to Pulmonary Infections and Asthma following RSV Exposure (INSPIRE) [NIH/NIAID U19 AI 095227, NIH/NCATS UL1 TR 002243, NIH/NIAID K24 AI 077930, NIH/NHLBI R21 HD 087864, NIH/NHLBI X01 HL 134583]; Wisconsin Infant Study Cohort (WISC) [U19 AI104317, NCATS UL1TR000427]; Upper Midwest Agricultural Safety and Health Center (UMASH) [U54 OH010170]; RTI International, Research Triangle Park, North Carolina, USA; NIH [U24OD023382]; Urban Environment and Childhood Asthma Study (URECA) [NO1-AI-25482, HHSN272200900052C, HHSN272201000052I, NCRR/NIH RR00052, M01RR00533, 1UL1RR025771, M01RR00071, 1UL1RR024156, UL1TR001079, 5UL1RR024992-02, NCATS/NIH UL1TR000040]; Cincinnati Childhood Allergy and Air Pollution Study (CCAAPS) [R01 ES11170, R01 ES019890]; Epidemiology of Home Allergens and Asthma Study (EHAAS) [R01 AI035786]Open access journalThis item from the UA Faculty Publications collection is made available by the University of Arizona with support from the University of Arizona Libraries. If you have questions, please contact us at [email protected]

Efficacy of c-Met inhibitor for advanced prostate cancer

<p>Abstract</p> <p>Background</p> <p>Aberrant expression of HGF/SF and its receptor, c-Met, often correlates with advanced prostate cancer. Our previous study showed that expression of c-Met in prostate cancer cells was increased after attenuation of androgen receptor (AR) signalling. This suggested that current androgen ablation therapy for prostate cancer activates c-Met expression and may contribute to development of more aggressive, castration resistant prostate cancer (CRPC). Therefore, we directly assessed the efficacy of c-Met inhibition during androgen ablation on the growth and progression of prostate cancer.</p> <p>Methods</p> <p>We tested two c-Met small molecule inhibitors, PHA-665752 and PF-2341066, for anti-proliferative activity by MTS assay and cell proliferation assay on human prostate cancer cell lines with different levels of androgen sensitivity. We also used renal subcapsular and castrated orthotopic xenograft mouse models to assess the effect of the inhibitors on prostate tumor formation and progression.</p> <p>Results</p> <p>We demonstrated a dose-dependent inhibitory effect of PHA-665752 and PF-2341066 on the proliferation of human prostate cancer cells and the phosphorylation of c-Met. The effect on cell proliferation was stronger in androgen insensitive cells. The c-Met inhibitor, PF-2341066, significantly reduced growth of prostate tumor cells in the renal subcapsular mouse model and the castrated orthotopic mouse model. The effect on cell proliferation was greater following castration.</p> <p>Conclusions</p> <p>The c-Met inhibitors demonstrated anti-proliferative efficacy when combined with androgen ablation therapy for advanced prostate cancer.</p

Transancestral mapping and genetic load in systemic lupus erythematosus

Systemic lupus erythematosus (SLE) is an autoimmune disease with marked gender and ethnic disparities. We report a large transancestral association study of SLE using Immunochip genotype data from 27,574 individuals of European (EA), African (AA) and Hispanic Amerindian (HA) ancestry. We identify 58 distinct non-HLA regions in EA, 9 in AA and 16 in HA (∼50% of these regions have multiple independent associations); these include 24 novel SLE regions (P<5 × 10-8), refined association signals in established regions, extended associations to additional ancestries, and a disentangled complex HLA multigenic effect. The risk allele count (genetic load) exhibits an accelerating pattern of SLE risk, leading us to posit a cumulative hit hypothesis for autoimmune disease. Comparing results across the three ancestries identifies both ancestry-dependent and ancestry-independent contributions to SLE risk. Our results are consistent with the unique and complex histories of the populations sampled, and collectively help clarify the genetic architecture and ethnic disparities in SLE.info:eu-repo/semantics/publishedVersio